Skip to content

Conversation

@BornToBeRoot
Copy link
Owner

Please provide some details about this pull request:

  • Improve some tooltips, buttons, etc.

By submitting this pull request, I confirm the following:

@mergify mergify bot merged commit e812b62 into main Dec 18, 2024
2 checks passed
@mergify mergify bot deleted the feature/tooltips_buttons branch December 18, 2024 01:39
@BornToBeRoot BornToBeRoot added this to the next-release milestone Dec 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant